Optimal. Leaf size=655 \[ \frac{3^{3/4} \sqrt{2+\sqrt{3}} (b c-a d)^3 ((a+b x) (c+d x))^{2/3} \sqrt{(a d+b c+2 b d x)^2} \left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+(b c-a d)^{2/3}\right ) \sqrt{\frac{2 \sqrt [3]{2} b^{2/3} d^{2/3} ((a+b x) (c+d x))^{2/3}-2^{2/3} \sqrt [3]{b} \sqrt [3]{d} (b c-a d)^{2/3} \sqrt [3]{(a+b x) (c+d x)}+(b c-a d)^{4/3}}{\left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}\right )^2}} F\left (\sin ^{-1}\left (\frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}}{\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}}\right )|-7-4 \sqrt{3}\right )}{10\ 2^{2/3} b^{4/3} d^{7/3} (a+b x)^{2/3} (c+d x)^{2/3} (a d+b c+2 b d x) \sqrt{\frac{(b c-a d)^{2/3} \left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+(b c-a d)^{2/3}\right )}{\left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}\right )^2}} \sqrt{(a d+b (c+2 d x))^2}}-\frac{3 \sqrt [3]{a+b x} \sqrt [3]{c+d x} (b c-a d)^2}{20 b d^2}+\frac{3 (a+b x)^{4/3} \sqrt [3]{c+d x} (b c-a d)}{40 b d}+\frac{3 (a+b x)^{7/3} \sqrt [3]{c+d x}}{8 b} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 2.77496, antiderivative size = 655, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 4, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.21 \[ \frac{3^{3/4} \sqrt{2+\sqrt{3}} (b c-a d)^3 ((a+b x) (c+d x))^{2/3} \sqrt{(a d+b c+2 b d x)^2} \left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+(b c-a d)^{2/3}\right ) \sqrt{\frac{2 \sqrt [3]{2} b^{2/3} d^{2/3} ((a+b x) (c+d x))^{2/3}-2^{2/3} \sqrt [3]{b} \sqrt [3]{d} (b c-a d)^{2/3} \sqrt [3]{(a+b x) (c+d x)}+(b c-a d)^{4/3}}{\left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}\right )^2}} F\left (\sin ^{-1}\left (\frac{\left (1-\sqrt{3}\right ) (b c-a d)^{2/3}+2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}}{\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}+2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}}\right )|-7-4 \sqrt{3}\right )}{10\ 2^{2/3} b^{4/3} d^{7/3} (a+b x)^{2/3} (c+d x)^{2/3} (a d+b c+2 b d x) \sqrt{\frac{(b c-a d)^{2/3} \left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+(b c-a d)^{2/3}\right )}{\left (2^{2/3} \sqrt [3]{b} \sqrt [3]{d} \sqrt [3]{(a+b x) (c+d x)}+\left (1+\sqrt{3}\right ) (b c-a d)^{2/3}\right )^2}} \sqrt{(a d+b (c+2 d x))^2}}-\frac{3 \sqrt [3]{a+b x} \sqrt [3]{c+d x} (b c-a d)^2}{20 b d^2}+\frac{3 (a+b x)^{4/3} \sqrt [3]{c+d x} (b c-a d)}{40 b d}+\frac{3 (a+b x)^{7/3} \sqrt [3]{c+d x}}{8 b} \]
Warning: Unable to verify antiderivative.
[In] Int[(a + b*x)^(4/3)*(c + d*x)^(1/3),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 91.6502, size = 680, normalized size = 1.04 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((b*x+a)**(4/3)*(d*x+c)**(1/3),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 0.273914, size = 140, normalized size = 0.21 \[ -\frac{3 \sqrt [3]{c+d x} \left (-d (a+b x) \left (2 a^2 d^2+a b d (5 c+9 d x)+b^2 \left (-2 c^2+c d x+5 d^2 x^2\right )\right )-2 (b c-a d)^3 \left (\frac{d (a+b x)}{a d-b c}\right )^{2/3} \, _2F_1\left (\frac{1}{3},\frac{2}{3};\frac{4}{3};\frac{b (c+d x)}{b c-a d}\right )\right )}{40 b d^3 (a+b x)^{2/3}} \]
Antiderivative was successfully verified.
[In] Integrate[(a + b*x)^(4/3)*(c + d*x)^(1/3),x]
[Out]
_______________________________________________________________________________________
Maple [F] time = 0.051, size = 0, normalized size = 0. \[ \int \left ( bx+a \right ) ^{{\frac{4}{3}}}\sqrt [3]{dx+c}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((b*x+a)^(4/3)*(d*x+c)^(1/3),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int{\left (b x + a\right )}^{\frac{4}{3}}{\left (d x + c\right )}^{\frac{1}{3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x + a)^(4/3)*(d*x + c)^(1/3),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \[{\rm integral}\left ({\left (b x + a\right )}^{\frac{4}{3}}{\left (d x + c\right )}^{\frac{1}{3}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x + a)^(4/3)*(d*x + c)^(1/3),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \left (a + b x\right )^{\frac{4}{3}} \sqrt [3]{c + d x}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x+a)**(4/3)*(d*x+c)**(1/3),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int{\left (b x + a\right )}^{\frac{4}{3}}{\left (d x + c\right )}^{\frac{1}{3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x + a)^(4/3)*(d*x + c)^(1/3),x, algorithm="giac")
[Out]